es{-}pred(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$pred($e$)